- method of computating
- method of computating STB Berechnungsverfahren n
English-german engineering dictionary. 2013.
English-german engineering dictionary. 2013.
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia